canal da petra